From 7160c43efaa8ad635931afd9718bec315acdb38c Mon Sep 17 00:00:00 2001 From: "chris@kneesaa.uk.xensource.com" Date: Wed, 12 Jul 2006 10:33:37 +0100 Subject: [PATCH] Make ioemu dir configurable and change prefix to /usr (works with old and new ioemu). Signed-off-by: Christian Limpach --- tools/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/tools/Makefile b/tools/Makefile index 6c490852a9..ac41f2f321 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -58,10 +58,11 @@ check_clean: .PHONY: ioemu ioemuinstall ioemuclean ifdef CONFIG_IOEMU +export IOEMU_DIR ?= ioemu ioemu ioemuinstall ioemuclean: - [ -f ioemu/config-host.h ] || \ - (cd ioemu; sh ./configure --prefix=usr) - $(MAKE) -C ioemu $(patsubst ioemu%,%,$@) + [ -f $(IOEMU_DIR)/config-host.h ] || \ + (cd $(IOEMU_DIR) && sh configure --prefix=/usr) + $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@) else ioemu ioemuinstall ioemuclean: endif -- 2.30.2